Slip – A Lisp System in JavaScript
lisperator.net·5h·
Discuss: Hacker News
📏Linear Types
Three ways formally verified code can go wrong in practice
buttondown.com·1h
📏Linear Types
A Manifesto for the Programming Desperado
github.com·3h·
Discuss: Hacker News
🪄Prompt Engineering
Let's Write a Macro in Rust
hackeryarn.com·3h·
Discuss: Hacker News
🎭Rust Macros
Experimenting with ACL2 and Claude Code
mikedodds.org·6h·
Discuss: Hacker News
🪄Prompt Engineering
Lobsters Interview with Zdsmith
lobste.rs·13h·
Discuss: Lobsters
⚡Developer Experience
Towards a Typology of Strange LLM Chains-of-Thought
lesswrong.com·21h
🪄Prompt Engineering
Effects in Rust (and Koka)
aloso.foo·19h·
Discuss: r/rust
🦀Rust
Item Patterns and Struct Await
noratrieb.dev·13h·
Discuss: Hacker News
🦀Rust
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com·5h·
Discuss: Hacker News
🦀Rust Web Services
SLip - An aspiring Common Lisp environment in the browser.
lisperator.net·6h·
Discuss: r/programming
🌿Leptos
A Lisp Interpreter for Linux Shell Scripting
jakobmaier.at·23h·
Discuss: Hacker News
🪄Prompt Engineering
Does Go have types?
youtube.com·6h·
Discuss: r/golang
🧩Types
(Forward) automatic implicit differentiation in Rust with num-dual 0.12.0
reddit.com·3h·
Discuss: r/rust
🎭Rust Macros
The RAG Playbook: A Data Science Guide to Document Chunking
pub.towardsai.net·2h
🔄LLM RAG Pipelines
Open Lineage
usenix.org·15h
📘Typescript
AI as both authors and reviewers of research papers
openreview.net·22h·
Discuss: Hacker News
🛡️Content Moderation
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·17h·
Discuss: Hacker News, r/programming
📑Inverted Indexes
When mathematics meets aesthetics: Tessellations as a precise tool for solving complex problems
phys.org·2h
✨Code Aesthetics
LLMs and reinforcement learning
sicpers.info·9h
🪄Prompt Engineering